1. Admissible sets and structures

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
QA9
،.
B379
1975

2. Admissible sets and structures; An approach to definability theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Admissible sets,Definability theory

رده :
511
.
3
B296

3. Admissible sets and structures. an approach to definability theory /

پدیدآورنده :

موضوع : ، Admissible sets,، Definability theory )Mathematical logic(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

4. Admissible sets and structures : an approach to definability theory

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Admissible sets,، Definability theory )Mathematical logic(

رده :
QA
9
.
B29

5. Admissible sets and structures : an approach to definability theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Admissible sets,، Definability theory )Mathematical logic(

رده :
QA
9
.
B29
1975

6. Admissible sets and structures : an approach to definability theory

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Admissible sets,، Definability theory )Mathematical logic(

رده :
QA
9
.
B29

7. Handbook of mathematical logic

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
H32

8. Handbook of mathematical logic

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
H32

9. Handbook of mathematical logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

10. Handbook of mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
H32

11. Handbook of mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
H32
1977

12. Handbook of mathematical logic. tics; ed. by barwise, jon.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.

رده :
QA9
.
H32
1977

13. Hyperproof ]for the Macintosh[

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(

رده :
P
25
.
C28
No
.
42

14. Information flow :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electronic data processing-- Distributed processing.

رده :
QA76
.
9
.
D5
B363
1997

15. Language, proof, and logic

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic.,منطق

رده :
BC
61
.
B32L32
1999
E
.
Book
,

16. Language, proof, and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Logic

رده :
BC61
.
B38
2002

17. Language, proof, and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Logic

رده :
BC61
.
B38
2002

18. Language, proof, and logic

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic

رده :
BC71
.
B25
2011

19. Logical reasoning with diagrams

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical ; Charts, diagrams, etc. ; Knowledge representation (Information theory) ;

20. Model-theoretic logics

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Model theory